javascript - 使用 Greasemonkey 脚本将 javascript 添加到使用 XSLT 转换的 XML 文件